home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group01b.txt / 000170_icon-group-sender_Fri Nov 9 13:04:28 2001.msg < prev    next >
Internet Message Format  |  2002-01-03  |  2KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id fA9K3lc08843
  4.     for icon-group-addresses; Fri, 9 Nov 2001 13:03:47 -0700 (MST)
  5. Message-Id: <200111092003.fA9K3lc08843@baskerville.CS.Arizona.EDU>
  6. Date: Fri, 09 Nov 2001 08:45:33 -0700
  7. From: Steve Wampler <swampler@noao.edu>
  8. X-Accept-Language: en
  9. To: Taybin Rutkin <trutkin@physics.clarku.edu>, icon-group@cs.arizona.edu
  10. Subject: Re: mutual evaluation
  11. Errors-To: icon-group-errors@cs.arizona.edu
  12. Status: RO
  13. Content-Length: 1737
  14.  
  15. Steve Wampler wrote, apparently w/o thinking:
  16. > 
  17. > The expression syntax:
  18. > 
  19. >     expr0(expr1,expr2,...,exprN)
  20. > 
  21. > has a couple of uses.  If expr0 evaluates to a function or procedure name
  22. > then that function/procedure is invoked (after evaluating the arguments
  23. > of course!).  If expr0 evaluates to an integer, then the arguments are
  24. > evaluated and the whole expression returns the result produced by the argument
  25. > in the position represented by that integer.  [Since expr0 evaluates to
  26. > a "position", 0 means to produce the result of the last argument and
  27. > omitting expr0 defaults it to 0.]
  28.  
  29. Sigh, as was kindly pointed out to me, the last sentence is simply wrong.
  30.  
  31. When expr0 produces an integer, that integer is treated as identifying
  32. the position of the argument whose value is to be produced.  As such it follows
  33. the same rules as other positions (e.g. lists and strings).  That means a value
  34. of 0 references a non-existant position "one-off" the end of the list of
  35. expressions.  So, omitting expr0 defaults to -1, not 0, and 0(expr1,expr2,expr3)
  36. is equivalent to
  37.  
  38.    expr1 & expr2 & expr3 & &fail
  39.  
  40. For example, the following program:
  41.  
  42.     procedure main(args)
  43.         every i := -3 to 3 do
  44.             write(i, ": ", i("a", "b", "c") | "failed")
  45.     end
  46.  
  47. outputs:
  48.  
  49.     -3: a
  50.     -2: b
  51.     -1: c
  52.     0: failed
  53.     1: a
  54.     2: b
  55.     3: c
  56.  
  57. Finally, if you want the result of the last expression, you can write
  58. either:
  59.  
  60.     (expr1, expr2, ...., exprN)
  61.  
  62. or
  63.  
  64.     (-1)(expr1, expr2, ...., exprN)
  65.  
  66. but
  67.  
  68.     -1(expr1, expr2, ...., exprN)
  69.  
  70. won't work as you might expect, because of precedence rules.
  71.  
  72. My thanks to Steve Hunter for catching this!
  73.  
  74.  
  75.  
  76.  
  77.  
  78. --
  79. Steve Wampler-  SOLIS Project, National Solar Observatory
  80. swampler@noao.edu
  81.